1.0666669 0.6000001 0.6166668 0.8500002 0.1500000 0.1666667 0.8166668 999.0000000 999.0000000 999.0000000 999.0000000 999.0000000 999.0000000 999.0000000 πx∧ qλD) 1λD) ∪→Ln ∪]o ≠→Lr∨S→Ln∨U*U4 ~⊃λO∧`↓